21. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
Author: Lincoln A. Wallen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
Classification :
QA
9
.
54
.
W35
1990
22. Coherent systems
Author: / Karl Schlechta
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
Classification :
Q339
.
2
.
S35
2004
23. Coherent systems
Author: / Karl Schlechta
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
Classification :
Q339
.
2
.
S35
2004
24. Conditionals and Modularity in General Logics
Author: / Dov M. Gabbay, Karl Schlechta
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
Classification :
BC199
.
C56
,
G32
2011
25. Content and modality
Author: / edited by Judith Thomson and Alex Byrne
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Stalnaker, Robert.,Modality (Logic),Logic.,Language and languages--Philosophy
Classification :
BC
,
199
,.
M6
,
C65
,
2006
26. Content and modality
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Stalnaker, Robert. ; Modality (Logic) ; Logic. ; Language and languages ; Philosophy. ;
27. Deontic modality
Author: edited by Nate Charlow and Matthew Chrisman
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Philosophy ، Language and languages,، Deontic logic,، Modality )Logic(
Classification :
P
107
.
D46
28. Directions in relevant logic
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Modality )Logic(-- Congresses,، Relevance )Philosophy(-- Congresses
Classification :
BC
199
.
M6
.
D57
1989
29. Directions in relevant logic
Author: edited by Jean Norman and Richard Sylvan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Modality )Logic(,Congresses ، Relevance )Philosophy(
Classification :
BC
199
.
M6D57
1989
30. Displaying modal logic
Author: Heinrich Wansing
Library: Library of Faculty Literature of University of Tehran (Tehran)
Subject: Modality (Logic)
31. Epistemic modality /
Author: edited by Andy Egan and Brian Weatherson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Knowledge, Theory of,Modality (Logic)
Classification :
BD161
.
E65
2011
32. Essays in the metaphysics of modality
Author: Plantinga, Alvin.
Library: Library of Mofid University (Qom)
Subject: ، Modality )Logic(,، Metaphysics
Classification :
B945
.
P553
M48
2003
33. Filosofskie problemy semantiki vozmozhnykh mirov
Author: / V. V. Tselishchev,Tselishchev
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Modality (Logic),From (Logic),Semantics (Philosophy),Hintikka, Kaarlo Jaakko Juhani, 1929 -
Classification :
BC
199
.
M6T74
34. First steps in modal logic /
Author: Sally Popkorn
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Modality (Logic)
Classification :
QA9
.
46
.
P67
1994
35. First steps in modal logic
Author: / Sally Popkorn
Library: Farabi Faculty Library, University of Tehran (Qom)
Subject: Modality (Logic)
Classification :
QA
9
.
46
.
P67
1994
36. Forma y modalidad :
Author: Mario Gómez Torrente.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Modality (Logic),Logic, Symbolic and mathematical.,Modality (Logic)
Classification :
BC135
.
G65
2000
37. Gentzen calculi for modal propositional logi
Author: / Francesca Poggiolesi
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Modality (Logic),Electronic books., local
38. Handbook of modal logic
Author: edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Handbooks, manuals, etc ، Modality )Logic(
Classification :
BC
199
.
M6H36
2007
39. Handbook of modal logic /
Author: edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Modality (Logic), Handbooks, manuals, etc
Classification :
BC199
.
M6
H36
2007
40. Intensional and higher-order modal logic
Author: / Daniel Gallin. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Modality (Logic),Logic, Symbolic and mathematical.
Classification :
BC
,
199
,.
M6
,
G35
,
1975
